This submenu is comprised of two entries. Firstly the point
<#107#>load file again<#107#>, Which loads the current file again and jumps to
the exact same position as you were on again. Secondly the point
<#108#>load new file<#108#>. This one calls the ARP file-requester, with which you
can choose a new DVI file. Of course this only functions if you are in the
possesion of the ``arp.library''.